package edu.pku.sei.ocl.value;

import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EClassifier;

public interface OCLCollection extends EList<Object>{

	public abstract EClassifier getElementOclType();

	public abstract CollectionTypeEnum getCollectionType();
	
	public abstract void removeAll(Object e);
	
	public boolean isConstant();
	public void collectionLiteral(boolean flag);
	
	public enum CollectionTypeEnum {
		Set,
		Bag,
		Sequence,
		OrderedSet,
		Collection
	}
}